Learning to Detect Roads in High-Resolution Aerial Images Volodymyr Mnih and Geoffrey E. Hinton Department of Computer Science, University of Toronto, 6 King’s College Rd., Toronto, Ontario, M5S 3G4, Canada

Source URL: www.cs.toronto.edu

DNS Prefetching and Its Privacy Implications: When Good Things Go Bad Srinivas Krishnan and Fabian Monrose Department of Computer Science University of North Carolina at Chapel Hill,

Source URL: www.usenix.org

Offline Evaluation of Online Reinforcement Learning Algorithms Travis Mandel1 , Yun-En Liu2 , Emma Brunskill3 , and Zoran Popovi´c1,2 1 Center for Game Science, Computer Science & Engineering, University of Washington,

Source URL: grail.cs.washington.edu

Explanation-Based Auditing Daniel Fabbri∗ and Kristen LeFevre∗ {dfabbri, klefevre}@umich.edu Electrical Engineering & Computer Science, University of Michigan, 2260 Hayward Ave. Ann Arbor, MIUSA Alice had an

Source URL: www.vldb.org

Approximate Policy Iteration with Demonstration Data Beomjoon Kim School of Computer Science McGill University Montreal, Quebec, Canada

Source URL: www.sologen.net

Peter Snyder Department of Computer Science University of Illinois at Chicago Chicago, IL 60607

Source URL: www.peteresnyder.com

• Computing
• Internet
• Information and communications technology
• Terms of service
• Computer network security
• Internet privacy
• Browser security
• Privacy
• Tor
• Association for Computing Machinery
• Internet security

Two Ways of Discovering the Size and Shape of a Computer Program to Solve a Problem John R. Koza Computer Science Department Stanford University

Source URL: www.genetic-programming.com

Fitting Smooth Surfaces to Dense Polygon Meshes Venkat Krishnamurthy Marc Levoy Computer Science Department Stanford University

Source URL: graphics.stanford.edu

Science of Computer Programming–165 www.elsevier.com/locate/scico Type inference against races Cormac Flanagan a,∗ , Stephen N. Freund b a Computer Science Department, University of California at Santa

Source URL: dept.cs.williams.edu

Modelling and Verification of Web Services Business Activity Protocol Anders P. Ravn, Jiˇr´ı Srba? , and Saleem Vighio?? Department of Computer Science, Aalborg University, Selma Lagerl¨ ofs Vej 300, DK-9220 Aalborg

Source URL: www.it.uu.se